3.6 How do I print a Texinfo file?

You can't get nicely printed output from Info files; you must still have the original Texinfo source file for the manual you want to print.

Assuming you have TeX installed on your system, follow these steps:

1. Make sure the first line of the Texinfo file looks like this:

             \input texinfo
   

   You may need to change ‘texinfo’ to the full pathname of the texinfo.tex file, which comes with Emacs as doc/misc/texinfo.tex (or copy or link it into the current directory).

2. Type texi2dvi texinfo-source, where texinfo-source is the name of the Texinfo source file for which you want to produce a printed copy. The ‘texi2dvi’ script is part of the GNU Texinfo distribution.

   Alternatively, ‘texi2pdf’ produces PDF files.

3. Print the DVI file texinfo-source.dvi in the normal way for printing DVI files at your site. For example, if you have a PostScript printer, run the dvips program to print the DVI file on that printer.

To get more general instructions, retrieve the latest Texinfo package (see Installing Texinfo documentation).